Modeling the Engineering Viewpoint of ODP systems with MODERN

Difficulties in software architecture design come from the lack of analysis tools to assist the architect in detecting system errors. Current approaches in architecture design such as Architectural Description Languages (ADLs) are often limited by the way they tackle quality issues separately and only in one viewpoint. None of them addresses analysis and verification of distributed architecture with a global approach from functional design (i.e. liveliness or safety properties) to its deployment in distributed environments (i.e. the environment provides containers and servers to host functional components), and their non-functional qualities (i.e. performance, reliability). This paper presents our new language for Modeling the Engineering Viewpoint of ODP systems (MODERN) supporting the integrated analysis for different quality properties of RM-ODP systems. Those qualities range from structural and behavioral properties (such as the assembly correctness and the liveness properties) to the quality of services properties (ex. performance).